/*
 Rule 8.12 (r)
 When an array is declared with external linkage, its size shall be stated explicitely or defined implicitly by initialization.
*/


#include <stdio.h>
#include "mc2main_0812V001NonCompliant_02.h"
extern int32_t a[];
int32_t main(void)
{
  int32_t a[2]={1,2};
  return 0;
}
